home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
prolog
/
modprolg
/
mod-prol.lha
/
Prolog
/
FILES
< prev
next >
Wrap
Text File
|
1992-06-16
|
1KB
|
45 lines
MODULAR SB-PROLOG
=================
The following overviews the files in this directory :
sim/ This is the C sources of the Prolog system.
modlib/ The Prolog interpreter. (Machine independent
compiled Prolog files.)
modlib/src/ The sources of the modlib/ directory. Should these sources
need to be recompiled, simply enter this directory
and type `makeall'.
cmplib/ The compiler. Machine independent compiled Prolog files.
cmplib/src/ The compiler sources. Should the compiler
need to be recompiled, simply enter this directory
and type `makeall' followed by `source catf'.
lib/ The Prolog system library. (Machine independent compiled
Prolog files.)
lib/src/ The system library sources. Should these sources
need to be recompiled, simply enter this directory
and type `makeall'.
bench/ SB-Prolog benchmark programs.
Examples/ Several Modular SB-Prolog example programs.
Documentation/
Contains all the Modular SB-Prolog documentation.
Documentation/SB_Prolog_Doc/
The original SB-Prolog manual.
Documentation/Modular_Prolog_Doc/manual.ps
The new Modular Prolog manual (Postscript)
Documentation/Modular_Prolog_Doc/report.ps
The report which describes the work done on Modular Prolog.
(Postscript)